Raccourci de fichier (n.m.)

fichier de petite taille ou procédure d'accès rapide qui redirige vers un autre fichier ou une autre procédure.